Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 114 results
Sort by: relevance publication year

An approach to a unified theory of automata

PROCEEDINGS ARTICLE published 1967 in 8th Annual Symposium on Switching and Automata Theory (SWAT 1967)

Authors: J. E. Hopcroft | J. D. Ullman

https://doi.org/10.1109/focs.1967.4 Actions

Two results on one-way stack automata

PROCEEDINGS ARTICLE published 1967 in 8th Annual Symposium on Switching and Automata Theory (SWAT 1967)

Authors: J. E. Hopcroft | J. D. Ullman

https://doi.org/10.1109/focs.1967.37 Actions

Modular decomposition of synchronous sequential machines

PROCEEDINGS ARTICLE published 1967 in 8th Annual Symposium on Switching and Automata Theory (SWAT 1967)

Authors: P. Weiner | J. E. Hopcroft

https://doi.org/10.1109/focs.1967.20 Actions

Computation times for finite groups, semigroups and automata

PROCEEDINGS ARTICLE published 1967 in 8th Annual Symposium on Switching and Automata Theory (SWAT 1967)

Authors: Philip M. Spira | Michael A. Arbib

https://doi.org/10.1109/focs.1967.9 Actions

On the structure of programming languages, or, six languages for turing machines

PROCEEDINGS ARTICLE published 1967 in 8th Annual Symposium on Switching and Automata Theory (SWAT 1967)

Authors: Eric G. Wagner

https://doi.org/10.1109/focs.1967.26 Actions

Abstract families of languages

PROCEEDINGS ARTICLE published 1967 in 8th Annual Symposium on Switching and Automata Theory (SWAT 1967)

Authors: Seymour Ginsburg | Sheila Greibach

https://doi.org/10.1109/focs.1967.3 Actions

An infinite hierarchy of context-free languages

PROCEEDINGS ARTICLE published 1967 in 8th Annual Symposium on Switching and Automata Theory (SWAT 1967)

Authors: Sheila A. Greibach

https://doi.org/10.1109/focs.1967.5 Actions

Programmed grammars -- A new device for generating formal languages

PROCEEDINGS ARTICLE published 1967 in 8th Annual Symposium on Switching and Automata Theory (SWAT 1967)

Authors: Daniel J. Rosenkrantz

https://doi.org/10.1109/focs.1967.28 Actions

Parallel program schemata: A mathematical model for parallel computation

PROCEEDINGS ARTICLE published 1967 in 8th Annual Symposium on Switching and Automata Theory (SWAT 1967)

Authors: Richard M. Karp | Raymond E. Miller

https://doi.org/10.1109/focs.1967.27 Actions

Control structures and monadic languages

BOOK CHAPTER published 1975 in Lecture Notes in Computer Science

Authors: Klaus Indermark

https://doi.org/10.1007/3-540-07407-4_32 Actions

Introduction to Special Section Hölderlin 2020: Reading and Exhibiting

OTHER published 14 June 2022 in Goethe Yearbook 29

Authors: Meike G. Werner

https://doi.org/10.1017/9781800105966.007 Actions

Introduction to Special Section Hölderlin 2020: Reading and Exhibiting

BOOK CHAPTER published 31 December 2022 in Goethe Yearbook 29

Authors: Meike G. Werner

https://doi.org/10.1515/9781800105966-007 Actions

On the complexity of undecidable problems in automata theory

PROCEEDINGS ARTICLE published 1967 in 8th Annual Symposium on Switching and Automata Theory (SWAT 1967)

Authors: J. Hartmanis

https://doi.org/10.1109/focs.1967.23 Actions

Introduction to Special Section Hölderlin 2020:

BOOK CHAPTER published 14 June 2022 in Goethe Yearbook 29

Authors: MEIKE G. WERNER

https://doi.org/10.2307/j.ctv262qxgq.9 Actions

Formal translations and the containment problem for Szilard languages

BOOK CHAPTER published 1975 in Lecture Notes in Computer Science

Authors: H. P. Kriegel | H. A. Maurer

https://doi.org/10.1007/3-540-07407-4_25 Actions

Formal language theory and theoretical computer science

BOOK CHAPTER published 1975 in Lecture Notes in Computer Science

Authors: Ronald V. Book

https://doi.org/10.1007/3-540-07407-4_1 Actions

Fuzzy star functions, probabilistic automata and their approximation by nonprobabilistic automata

PROCEEDINGS ARTICLE published 1967 in 8th Annual Symposium on Switching and Automata Theory (SWAT 1967)

Authors: A. Paz

https://doi.org/10.1109/focs.1967.13 Actions

Prädikatives Programmieren

BOOK CHAPTER published 1975 in Lecture Notes in Computer Science

Authors: Wolfgang Bibel

https://doi.org/10.1007/3-540-07407-4_30 Actions

Deterministische indizierte Grammatiken

BOOK CHAPTER published 1975 in Lecture Notes in Computer Science

Authors: Karl Weiß

https://doi.org/10.1007/3-540-07407-4_18 Actions

Piecewise testable events

BOOK CHAPTER published 1975 in Lecture Notes in Computer Science

Authors: Imre Simon

https://doi.org/10.1007/3-540-07407-4_23 Actions
Feedback: support@crossref.org